Fix last fix of note_mouse_highlight
authormartin rudalics <rudalics@gmx.at>
Wed, 5 Feb 2014 18:37:36 +0000 (19:37 +0100)
committermartin rudalics <rudalics@gmx.at>
Wed, 5 Feb 2014 18:37:36 +0000 (19:37 +0100)
commit55d5b3e35ac0de26fb09525e64d528db218f04e0
tree7196cff796917689b31ce3dbeaf5787a11db6e64
parent3de1674b4e6a8e78241ffb738d6257a91274899d
Fix last fix of note_mouse_highlight
src/xdisp.c